Verifiering med hjälp av dator av två oberoende formler för beräkning av antalet lösningar för linjära kongruenssystem med två eller tre obekanta..

Verifiering med hjälp av dator av två oberoende formler för beräkning av antalet lösningar för linjära kongruenssystem med två eller tre obekanta..

 Uppsatsen är av teoretisk karaktär och utforskar tekniker och teorier kring ämnet statisk spelbalans. Som praktiskt exempel används spelet Testament. Texten och balanseringsarbetet med Testament är en produkt av Erik Sjöstrands examensarbete under vårterminen 2009 vid Högskolan i Skövde.Texten presenterar vad statisk spelbalans är och dess syfte. Återkommande termer är att alla val som finns i ett spel ska vara betydelsefulla och att man ska sträva efter att alla som spelar spelet har samma förutsättningar.Tekniker som presenterar och anpassas till spelet Testament är: kunskap om balans och obalans, spelbalans beroende av spelarnas skicklighet, symmetri och asymmetri, transitiva och intransitiva system, modulär design, fail-safes, global balans, samt prototyper och speltestning.Slutsatsen är att det inte går att säga huruvida Testament är balanserat eller inte, att det går att anpassa tekniker för att balansera flerspelarspel till att balansera enspelarspel, att statisk spelbalans bör genomföras under alla faser av spelutvecklingsprocessen, och att de som balanserar spel måste ha god förståelse för de spelsystem de balanserar..

Detta arbete handlar om beteendeinriktad biometri och artificiella neuronnät av typen feedforward och hur de tillsammans kan användas för att verifiera användare. Det har av tidigare arbete bekräftats att det är möjligt att verifiera användare, men tidigare resultat har däremot inte utfört tester med avseende på avvikelser i data (beteende) och dess inverkan på verifieringen. Det är detta som utgör det huvudsakliga målet för detta arbete, nämligen att undersöka hur avvikelser i data påverkar verifiering och utifrån det också undersöka neuronnätens noggrannhet vid verifiering..

Bakgrund: Bålträning kan användas vid prevention, behandling samt för att öka prestationsförmåga. Vilken typ av bålträning som är lämpligast för de olika ändamålen är dock fortfarande oklart, vilket till viss del beror på brist på tydliga definitioner inom området. Mot bakgrund av specificitetsprincipen inom träningslära och bålmuskulaturens olika indelningar och dess muskelfysiologi, vill författarna undersöka om en cross-overeffekt kan uppnås mellan två olika typer av uthållighetsträning, liksom träningens effekter på bålstabilitet. Syfte: Syftet var att beskriva observerade och mätbara effekter av dynamisk bålträning på statisk uthållighet i bålmuskulaturen, och omvänt, samt de observerade och mätbara effekterna av de respektive träningsformerna på resultatet av ett bålstabilitetstest. Metod: Studiedesignen var single subject experimental design (SSED).

En grafisk ritare i flygande system måste under dess utveckling verifieras för att bekräfta att den fungerar. Då bilderna som ritas inte behöver vara identiska mot referensbilder genererade av en fungerande ritare så ställer det krav på verifieringsprocessen att kunna acceptera en viss grad av "fel". Att automatisera den processen är i högsta grad intressant för att minska kostnaden. Uppsatsen presenterar en samling lösningar på delproblem som kan uppstå, däribland ett sätt att utvinna eventuell transformation mellan två bilder..

En grafisk ritare i flygande system måste under dess utveckling verifieras för att bekräfta att den fungerar. Då bilderna som ritas inte behöver vara identiska mot referensbilder genererade av en fungerande ritare så ställer det krav på verifieringsprocessen att kunna acceptera en viss grad av "fel". Att automatisera den processen är i högsta grad intressant för att minska kostnaden. Uppsatsen presenterar en samling lösningar på delproblem som kan uppstå, däribland ett sätt att utvinna eventuell transformation mellan två bilder..

SammanfattningBakgrund: Stretching har använts i många år inom sport och rehabilitering med målet att minska risken för muskelskador, bland annat skador i kombination med kort hamstrings. Flera olika stretchingmetoder används för att uppnå ökad rörlighet. Tre av dessa är; 1) Statisk stretching, 2) Dynamisk stretching, 3) Proprioceptiv neuromuskulär facilitering (PNF).Syfte: Syftet med den här litteraturstudien var att jämföra och undersöka tre olika stretchingmetoder (statisk, dynamisk och PNF stretching) för att se vilken som är mest effektiv för att öka rörligheten i hamstringsmuskulaturen.Metod: Sökning av artiklar gjordes i databaserna Pubmed, Sport Discus, samt Science Direct. Sökorden som användes var static stretching, dynamic stretching, pnf, flexibility samt range of motion. Totalt inkluderades till slut 26 artiklar i den här litteraturöversikten som dels överensstämde med inklusionskriterierna och som dessutom var tillgängliga gratis och i fulltext.Resultat: De flesta studierna var gjorda på unga vuxna mellan 16 och 35 år.

Stretching används som en naturlig del före eller efter fysisk aktivitet. Inom hälso och sjukvården används stretching av sjukgymnaster som behandlingsåtgärd vid olika sorters besvär i rörelseapparaten samt inom neurologin. Syftet med litteraturöversikten är att skapa en överblick över forskning i ämnet och utifrån det skapa en bild beskrivande olika stretchingmetoder samt dess effekter på rörelseomfång, smärta och fysisk återhämtning. En litteratursökning gjordes i databaserna PubMed, PEDro, AMED, CINAHL och Web of Science vilket resulterade i att 21 RCT artiklar inkluderades. Studier avseende ökning av rörelseomfång visade att statisk stretching och PNF/KAT är effektivare för att öka rörlighet i hamstrings jämfört med dynamisk och ballistisk stretching.

Biometri är en relativt ny säkerhetsmetod för datorsystem. Biometri används ofta för att ersätta eller kombineras med användarnamn och lösenord. Detta görs genom att mäta ett fysiologiskt attribut eller beteendeattribut hos användaren. Keystroke dynamics är en biometrisk metod vilken registrerar användarens sätt att skriva på tangentbordet. En stor mängd försök med keystroke dynamics har gjorts i tidigare arbeten.

Syfte och frågeställningarSyftet med studien var att undersöka hur stretching i olika former akut påverkar hopphöjd.Vilken akut påverkan har statisk stretching på hopphöjd?Vilken akut påverkan har dynamisk stretching på hopphöjd?Vilka skillnader i hopprestation finns när det gäller den akuta effekten efter statisk och dynamisk stretching?MetodStudien var kvantitativ med en experimentell forskningsdesign och bestod av tre testtillfällen. Bekvämlighetsurval tillämpades och begränsades till 12 friska fysiskt aktiva kvinnor i åldrarna 18-30 år. Varje testtillfälle innehöll en uppvärmning på ergometercykel, tre vertikalhopp, en stretchingintervention (statisk, dynamisk eller kontroll), en aktiv vila på ergometercykel och ytterligare tre vertikalhopp. Vertikalhoppen (squat jump) utfördes på en kontaktmatta som beräknade den totala hopphöjden.

Syfte och frågeställningarSyftet med studien var att undersöka hur stretching i olika former akut påverkar hopphöjd.Vilken akut påverkan har statisk stretching på hopphöjd?Vilken akut påverkan har dynamisk stretching på hopphöjd?Vilka skillnader i hopprestation finns när det gäller den akuta effekten efter statisk och dynamisk stretching?MetodStudien var kvantitativ med en experimentell forskningsdesign och bestod av tre testtillfällen. Bekvämlighetsurval tillämpades och begränsades till 12 friska fysiskt aktiva kvinnor i åldrarna 18-30 år. Varje testtillfälle innehöll en uppvärmning på ergometercykel, tre vertikalhopp, en stretchingintervention (statisk, dynamisk eller kontroll), en aktiv vila på ergometercykel och ytterligare tre vertikalhopp. Vertikalhoppen (squat jump) utfördes på en kontaktmatta som beräknade den totala hopphöjden.

Det här examensarbetet är baserat på idéer ur ett uppdrag från företaget Saab Aerotech men är ett eget arbete.Målet var att undersöka om det finns behov av ett verktyg som statiskt kan detektera dynamiska minneshanteringsproblem, som till exempel minnesläckage, i applikationer skrivna i C/C++. På grund av att minneshanteringsfel i C/C++ länge har varit ett känt problem undersökte vi detta och de befintliga lösningarna till det.Vi fann två metoder till lösningar som de flesta verktyg använde sig av; statisk och dynamisk detektering. De flesta verktyg löste problemet genom att dynamiskt detektera minnesläckor och andra brister som till exempel buffer overflows. Ett verktyg löste dock problemet genom att statisk detektera minneshanteringsfel i källkoden för applikationerna. Eftersom alla befintliga lösningar har någon form av ineffektivitet så har vi undersökt möjligheten att utveckla ett mer effektivt verktyg.

Syftet med denna studie har varit att undersöka vilken påverkan dynamisk musik har på narrativet i ett datorspel. Den transdiegetiska musiktypen dynamisk musik har jämförts med den ickediegetiska musiktypen statisk musik i ett action- science fictionspel för att se vilka skillnader de har på spelarens upplevelse av narrativet. Åtta testpersoner har fått spelat två spelversioner med de olika typerna musik och sedan intervjuats om deras upplevelse. Resultatet har visat tendenser på att det finns ett samband mellan dynamisk musik och spelarens upplevelser av specifika händelser. Skillnaden mellan dynamisk musik och statisk musik har visat sig vara att den dynamiska musiken har en möjlighet att representera en händelse i ett specifikt ögonblick vilket inte är möjligt med statisk musik.

IEC 61508, ISO 26262, DO-254 och CENELEC EN 5012x är alla standarder för utveckling av säkerhetskritiska system. Dessa fyra är applicerbara på bilar upp till 3.5 ton (ISO 26262), flyg (DO-254), tåg (Cenelec EN 5012x) samt IEC 61508 vilket är en standard för flertalet industrigrenar.När ett säkerhetskritiskt system skall implementeras i en FPGA så kan problem uppstå. Detta för att en FPGA ibland räknas till hårdvara men utvecklingen följer samma mönster som mjukvaruutveckling. Detta examensarbetes huvuduppgift är att klargöra hur de olika standarderna ser på FPGA utveckling samt verifiering med hjälp av utökad funktionell verifiering.Uppsatsen är uppdelad i två delar. Den första delen behandlar de säkerhetskritiska standarderna.